<html>
<body>
Mutex implementation.
</body></html>